☰
5.6.3 수치 계산 및 데이터 변환 로직의 외부 코드 실행(Code Execution) 검증
Home
/
소프트웨어 공학 (Software Engineering)
/
제목: 오라클: AI 주도 개발을 위한 해답
/
Chapter 5. 유닛 테스트 기반의 확정적 검증 오라클 구축 기법
/
5.6 논리적 추론 검증을 위한 중간 과정 검사(Intermediate Verification)
/
5.6.3 수치 계산 및 데이터 변환 로직의 외부 코드 실행(Code Execution) 검증
5.6.3 수치 계산 및 데이터 변환 로직의 외부 코드 실행(Code Execution) 검증